label {
font-family: Heebo, Arial, sans-serif;
font-weight: bold;
}
סמנו ב-✔, או בטלו את הסימון, כדי להראות/להחביא את החלקים השונים:הגדרותמשפטיםהוכחותדוגמאותלחצו על תגיות ה-"הוכחה." כדי להראות/להחביא הוכחות
כל פקודה תתחיל ב-MKגדולות עש מיכאל קלי (Michael Kali), וזאת משתי סיבות:
כדי שבטבלת הקיצורים שבתוך \SpecialChar LyX תופענה כל הפקודות זו לצד זו.
הבחירה דווקא באותיות גדולות נועדה לוודא שהפקודות אינן מתנגשות עם פקודות \SpecialChar LaTeX מקוריות.
על הפקודות להיות קצרות ככל האפשר, וזאת כדי לאפשר את כתיבתן במהירות מבלי ליצור להן קיצור מקלדת. הסיבה לכך שלא ניצור קיצור מקלדת לכל פקודה היא שפעמים רבות ניצור פקודות שתיועדנה למקרים מסוימים מאוד, ואז יעבור זמן רב עד שנשתמש בקיצור המקלדת בפעם הבאה ולכן לא נזכור אותו - הרבה יותר פשוט לזכור את הפקודה שיצרנו מכיוון שיש לה תוכן אמיתי שקשור לפלט הרצוי מן הפקודה. סיבה נוספת היא שיצירת קיצור מקלדת לכל פקודה ולו החריגה ביותר תקשה עלינו ליצור קיצורי מקלדת לפקודות חשובות יותר. לפיכך פקודות שימושיות מאוד שבוודאי ניצור להן קיצור מקלדת ונשתמש בו פעמים רבות אינן צריכות להיות קצרות.
כדי להקל על כתיבת פקודות שלא יצרתי להן קיצור מקלדת כתבתי קיצור מקלדת שיוצר את הקידומת של כל פקודות ה-macrosשלי ואז כל מה שנותר הוא להקיש שלוש-ארבע אותיות כדי לבחור את הפקודה הרצויה, קיצור המקלדת המדובר הוא "Ctrl+k".
לכל גופן יש קידומת בת שתי אותיות.
\(\:\)
\(\:\)קבוצות ופונקציות לפי קורסיםLatexCommand ruleoffset "0.5ex"width "100col%"height "1pt"\(\:\)
\(\:\)המספרים המרוכבים ופונקציות מרוכבות\(\:\)
\(\newcommand{\MKcis}{\text{cis}}\)\(\cos+i\cdot\sin\). המספרים המרוכבים.
\(\newcommand{\MKre}{\text{Re}}\)החלק הממשי של מספר מרוכב. המספרים המרוכבים.
\(\newcommand{\MKim}{\text{Im}}\)החלק המדומה של מספר מרוכב. המספרים המרוכבים.מופיע גם כתמונה של פונקציה.
\(\newcommand{\MKbigcupdot}{\bigsqcup}\)איחוד זר גדול
הקוד שלהלן מייצר את הסימון לאיחוד זר כסימן של איחוד רגיל עם נקודה בתוכו. הקוד מבוסס על זה שמופיע בתגובה הרביעית שבשרשור הזה: https://tex.stackexchange.com/questions/3964/mathematical-symbol-for-disjoint-set-union.
כשעסקנו במרחבים מטריים ראינו שהקבוצות הפתוחות מקיימות את שלוש התכונות הבאות:
המרחב כולו והקבוצה הריקה הם קבוצות פתוחות.
כל איחוד של קבוצות פתוחות הוא קבוצה פתוחה.
כל חיתוך סופי של קבוצות פתוחות הוא קבוצה פתוחה.
נראה כעת שבעזרת שלוש התכונות הללו ניתן להכליל את הרעיון של קבוצה פתוחה במקרה שבו אין מטריקה.
הגדרה 1.1. טופולוגיה תהא \(\MKbbx\) קבוצה לא ריקה, ותהא \(\tau\subseteq\MKclp\left(\MKbbx\right)\) משפחה של תתי-קבוצות של \(\MKbbx\). נאמר ש-\(\tau\) היא טופולוגיה על \(\MKbbx\), אם מתקיימות שלוש התכונות הבאות:
\(\emptyset,\MKbbx\in\tau\).
\(\tau\) סגורה לאיחודים - לכל אוסף \(\MKcls\subseteq\tau\) מתקיים \({\displaystyle \bigcup_{U\in\MKcls}U\in\tau}\).
\(\tau\) סגורה לחיתוכים סופיים - לכל אוסף סופי \(\MKcls\subseteq\tau\) מתקיים \({\displaystyle \bigcap_{U\in\MKcls}U\in\tau}\)1תכונה זו שקולה לכך שלכל \(U,V\in\tau\) מתקיים \(U\cap W\in\tau\)..
דוגמה 1.2. על כל קבוצה לא ריקה \(\MKbbx\) ניתן להגדיר שתי טופולוגיות פשוטות:
הגדרה 1.3. תהיינה \(\tau\) ו-\(\sigma\) שתי טופולוגיות על קבוצה לא ריקה \(\MKbbx\). נאמר ש-\(\tau\)עדינה / חזקה יותר מ-\(\sigma\), וש-\(\sigma\)גסה / חלשה יותר מ-\(\sigma\), אם \(\sigma\subseteq\tau\).
\(\clubsuit\)
הרעיון הוא שככל שטופולוגיה עדינה יותר כך היא מיטיבה "להבחין" בין שתי נקודות שונות, כאשר "להבחין" פירושו שיש בטופולוגיה קבוצה שמבדילה בין שתי הנקודות (אחת מהן שייכת לה והאחרת איננה כזו). בהמשך הקורס נעסוק ביכולת של טופולוגיה להבחין בין נקודות ביתר פירוט.
הגדרה 1.4. מרחב טופולוגי מרחב טופולוגי (להלן גם מ"ט) הוא זוג סדור \(\left(\MKbbx,\tau\right)\) כאשר \(\tau\) היא טופולוגיה על קבוצה לא ריקה \(\MKbbx\), האיברים של \(\MKbbx\) ייקראו לעיתים קרובות נקודות, ואילו איברי \(\tau\) ייקראו קבוצות פתוחות.
סימון:
לכל מרחב טופולוגי \(\left(\MKbbx,\tau\right)\) ולכל תת-קבוצה \(S\subseteq\MKbbx\) נסמן \(\tau\mid_{A}:=\left\{ A\cap U:U\in\tau\right\} \).
הגדרה 1.5. תת-מרחב טופולוגי יהי \(\left(\MKbbx,\tau\right)\) מרחב מטרי ותהא \(A\subseteq\MKbbx\), הזוג הסדור \(\left(A,\tau\mid_{A}\right)\) נקרא תת-מרחב טופולוגי של \(\left(\MKbbx,\tau\right)\).
\(\clubsuit\)
כמובן שהרעיון הוא ש-\(\left(Y,d_{Y}\right)\) הוא מרחב מטרי עם אותה מטריקה.
טענה 1.6. אוסף הקבוצות הפתוחות של מרחב מטרי הוא טופולוגיה על המרחב.
הגדרה 1.7. אוסף הקבוצות הפתוחות של מרחב מטרי ייקרא הטופולוגיה המושרית ע"י המטריקה המתאימה.
הגדרה 1.8. מרחב טופולוגי ייקרא מטריזבילי אם קיימת מטריקה המשרה את הטפולוגיה שלו.
2 קבוצות במרחב טופולוגי
יהי \(\left(\MKbbx,\tau\right)\) מרחב טופולוגי.
תזכורת:
\(A^{c}\) היא הקבוצה המשלימה של \(A\), כלומר \(A^{c}=\MKbbx\setminus A\) (כמובן שהסימון תלוי הקשר משום שהוא תלוי בשאלה מיהי \(\MKbbx\)).
הגדרה 2.1. נקודות פנימיות, נקודות חיצוניות ונקודות קצה תהא \(A\subseteq\MKbbx\) תת-קבוצה, ותהא \(x\in\MKbbx\) נקודה.
נאמר ש-\(x\) היא נקודה פנימית של \(A\), אם קיימת קבוצה פתוחה \(U\subseteq\MKbbx\), כך ש-\(x\in U\subseteq A\).
נאמר ש-\(x\) היא נקודה חיצונית ל-\(A\), אם קיימת קבוצה פתוחה \(U\subseteq\MKbbx\), כך ש-\(x\in U\subseteq A^{c}\).
נאמר ש-\(x\) היא נקודת קצה של \(A\), אם לכל קבוצה פתוחה \(U\subseteq\MKbbx\), קיימים \(x_{1},x_{2}\in U\) כך ש-\(x_{1}\in A\) ו-\(x_{2}\notin A\).
נאמר ש-\(x\) היא נקודת הצטברות של \(A\), אם לכל קבוצה פתוחה \(U\subseteq\MKbbx\) כך ש-\(x\in U\) קיימת נקודה \(x\neq a\in A\) כך ש-\(a\in U\).
לא ראינו את ההגדרה שלעיל בכיתה.
הגדרה 2.2. נאמר שתת-קבוצה \(C\subseteq\MKbbx\) היא קבוצה סגורה אם היא כוללת כל נקודה שאינה חיצונית לה.
\(\clubsuit\)
קבוצה יכולה להיות גם פתוחה וגם סגורה, וכמובן שיכולות להיות קבוצות שאינן פתוחות ואינן סגורות.
לא ראינו את ההגדרה שלעיל בכיתה, אלא הגדרנו מהי קבוצה סגורה ע"פ המסקנה הבאה.
מסקנה 2.3. תת-קבוצה \(A\subseteq\MKbbx\) היא סגורה אם"ם \(A^{c}\) היא קבוצה פתוחה.
מסקנה 2.4. אוסף הקבוצות הסגורות מקיים את שלוש התכונות הבאות:
\(\emptyset\) ו-\(\MKbbx\) הן קבוצות סגורות.
סגירות לחיתוכים - לכל אוסף \(\MKcls\subseteq\MKclp\left(\MKbbx\right)\) של קבוצות סגורות, הקבוצה \({\displaystyle \bigcap_{C\in\MKcls}C}\)היא קבוצה סגורה.
סגירות לאיחודים סופיים - לכל אוסף סופי \(\MKcls\subseteq\MKclp\left(\MKbbx\right)\) של קבוצות סגורות, הקבוצה \({\displaystyle \bigcap_{C\in\MKcls}C}\)היא קבוצה סגורה.
הגדרה 2.5. \(\:\)
קבוצת הנקודות הפנימיות של תת-קבוצה \(A\subseteq\MKbbx\) תיקרא הפנים של \(A\), ותסומן ב-\(A^{\circ}\) או ב-\(\MKint\left(A\right)\).
קבוצת הנקודות החיצוניות לתת-קבוצה \(A\subseteq\MKbbx\) תיקרא החוץ של \(A\), ותסומן ב-\(\MKext\left(A\right)\).
קבוצת נקודות הקצה של תת-קבוצה \(A\subseteq\MKbbx\) תיקרא השפה של \(A\), ותסומן ב-\(\partial A\).
קבוצת נקודות ההצטברות של תת-קבוצה \(A\) תסומן ב-\(A'\).
קבוצת כל הנקודות שאינן חיצוניות לתת-קבוצה \(A\subseteq\MKbbx\) תיקרא הסגור של \(A\) ותסומן ב-\(\overline{A}\) או ב-\(\MKclos\left(A\right)\).
לא ראינו את ההגדרה שלעיל בכיתה, אלא הגדרנו את הפנים והסגור לפי המסקנה הבאה, ואת השפה ע"פ המסקנה שלאחריה.
מסקנה 2.6. הפנים של קבוצה הוא איחוד כל הקבוצות הפתוחות המוכלות בה, ואילו הסגור של קבוצה הוא חיתוך כל הקבוצות הסגורות שמכילות אותה.
\(\clubsuit\)
כלומר \(A^{\circ}\) הוא הקבוצה הפתוחה הכי גדולה שמוכלת ב-\(A\), ו-\(\overline{A}\) הוא הקבוצה הסגורה הכי קטנה שמכילה את \(A\).
מסקנה 2.8. לכל שתי קבוצות \(A,B\subseteq\MKbbx\) מתקיים:\[\begin{align*}
\overline{A\cup B} & =\overline{A}\cup\overline{B} & \left(A\cap B\right)^{\circ} & =A^{\circ}\cap B^{\circ}\\
\overline{A\cap B} & \subseteq\overline{A}\cap\overline{B} & A^{\circ}\cap B^{\circ} & \subseteq\left(A\cup B\right)^{\circ}
\end{align*}\]
הגדרה 2.9. תת-קבוצה \(A\subseteq\MKbbx\) תיקרא צפופה אם לכל קבוצה פתוחה \(U\subseteq\MKbbx\) מתקיים \(U\cap A\neq\emptyset\).
מסקנה 2.10. תת-קבוצה \(A\subseteq\MKbbx\) היא צפופה אם"ם \(\overline{A}=\MKbbx\).
\(\:\)
3 בסיסים
\(\clubsuit\)
כשעסקנו במרחבים מטריים ראינו שקבוצה היא פתוחה אם"ם ניתן להציג אותה כאיחוד של כדורים פתוחים, מייד נראה שניתן להכליל זאת גם עבור מרחבים טופולוגיים.
תהא \(\MKbbx\) קבוצה לא ריקה.
הגדרה 3.1. תהא \(\tau\) טופולוגיה על \(\MKbbx\). נאמר שמשפחה של קבוצות פתוחות \(\MKclb\subseteq\tau\) היא בסיס לטופולוגיה\(\tau\), וש-\(\tau\)מושרית ע"י הבסיס\(\MKclb\), אם כל קבוצה פתוחה ניתנת להצגה כאיחוד של קבוצות מ-\(\MKclb\).
זו לא ההגדרה שראינו בכיתה, אבל ראינו שזוהי הגדרה שקולה.
מסקנה 3.2. קבוצת כל הכדורים הפתוחים במרחב מטרי2ניתן להחליף קבוצה זו בקבוצת כל הכדורים עם רדיוס רציונלי / מהצורה \(\frac{1}{n}\). היא בסיס לטופולוגיה המושרית ע"י המטריקה.
הגדרה 3.3. יהי \(\MKclb\subseteq\MKclp\left(\MKbbx\right)\) אוסף תתי-קבוצות של \(\MKbbx\), נאמר ש-\(\MKclb\) הוא בסיס של \(\MKbbx\) אם מתקיימות שתי התכונות הבאות:
לכל \(x\in\MKbbx\) קיימת \(B\in\MKclb\) כך ש-\(x\in B\) (כלומר \(\MKbbx=\bigcup_{B\in\MKclb}B\)).
לכל \(A,B\in\MKclb\) ולכל \(x\in A\cap B\) קיימת \(C\in\MKclb\) כך ש-\(x\in C\subseteq A\cap B\).
מסקנה 3.4. לכל \(\MKcls\subseteq\MKclp\left(\MKbbx\right)\) ולכל \(U\in\tau_{\MKcls}\) קיים אוסף \(\MKcls\subseteq\MKclb\) כך ש-\(U=\bigcup_{B\in\MKcls}B\).
משפט 3.5. יהי \(\MKclb\subseteq\MKclp\left(\MKbbx\right)\) אוסף תתי-קבוצות של \(\MKbbx\). אם \(\MKclb\) הוא בסיס של \(\MKbbx\), אז \(\tau_{\MKclb}\) היא טופולוגיה על \(\MKbbx\), ו-\(\MKclb\) הוא בסיס לטפולוגיה \(\tau_{\MKclb}\).
דוגמה 3.6. האוסף \(\left\{ \begin{array}{c|c}
a+d\cdot\MKinteger & a,d\in\MKinteger\end{array}\right\} \) הוא בסיס של \(\MKinteger\).
כל קבוצה ב-\(\MKcle\) היא קבוצה סגורה שכן לכל \(a,d\in\MKinteger\) מתקיים:\[
\MKinteger\setminus\left(a+d\cdot\MKinteger\right)=\bigcup_{i=1}^{d-1}\left(a+\left(d+i\right)\cdot\MKinteger\right)
\]מכאן שאיחוד סופי של קבוצות מ-\(\MKcle\) הוא קבוצה סגורה.
לכל \(m\in\MKinteger\setminus\left\{ 1,-1\right\} \) קיים \(p\in\MKinteger\) ראשוני כך ש-\(m\in p\cdot\MKinteger\), מכאן שמתקיים:\[
\MKinteger\setminus\left\{ 1,-1\right\} =\bigcup_{p\in\MKprime}p\cdot\MKinteger
\]ולכן אם יש מספר סופי של ראשוניים אז \(\MKinteger\setminus\left\{ 1,-1\right\} \) היא קבוצה סגורה, וממילא \(\left\{ 1,-1\right\} \) פתוחה. אבל אנחנו יודעים ש-\(\left\{ 1,-1\right\} \) אינה פתוחה, שהרי אין ב-\(\MKcle\) קבוצה המוכלת ב-\(\left\{ 1.-1\right\} \), ומכאן שיש אין-סוף ראשוניים.
4 פונקציות
יהיו \(\left(\MKbbx,\tau\right)\) ו-\(\left(\MKbby,\sigma\right)\) מרחבים טופולוגיים.
4.1 רציפות
הגדרה 4.1. תהא \(f:\MKbbx\rightarrow\MKbby\) פונקציה.
נאמר ש-\(f\)רציפה בנקודה\(x\in\MKbbx\) אם לכל קבוצה פתוחה \(U\subseteq\MKbby\) כך ש-\(f\left(x\right)\in U\), קיימת קבוצה פתוחה \(V\subseteq\MKbbx\) כך ש-\(x\in V\) ו-\(f\left(V\right)\subseteq U\).
נאמר ש-\(f\)רציפה אם היא רציפה בכל נקודה ב-\(\MKbbx\).
\(\clubsuit\)
כמובן שהגדרה זו מכלילה את הרציפות שהגדרנו במרחבים מטריים.
בכיתה לא הגדרנו כלל רציפות בנקודה, והגדרנו רציפות ע"י התנאי השני בטענה שלהלן.
הגדרה 4.2. קבוצה \(A\subseteq\MKbbx\) תיקרא סביבה של נקודה \(x\in\MKbbx\), אם קיימת קבוצה פתוחה \(U\subseteq\MKbbx\) כך ש-\(x\in U\subseteq A\).
טענה 4.3. תהא \(f:\MKbbx\rightarrow\MKbby\) פונקציה, התנאים הבאים שקולים:
\(f\) רציפה.
לכל קבוצה פתוחה \(U\subseteq\MKbby\) גם \(f^{-1}\left(U\right)\) פתוחה.
לכל קבוצה סגורה \(C\subseteq\MKbby\) גם \(f^{-1}\left(C\right)\) סגורה.
לכל \(x\in\MKbbx\), ולכל סביבה \(W\subseteq\MKbby\) של \(f\left(x\right)\), הקבוצה \(f^{-1}\left(W\right)\) היא סביבה של \(x\).
לכל תת-קבוצה \(A\subseteq\MKbbx\) מתקיים \(f\left(\overline{A}\right)\subseteq\overline{f\left(A\right)}\).
לכל בסיס \(\MKclb\) של \(\sigma\), ולכל \(B\in\MKclb\), הקבוצה \(f^{-1}\left(B\right)\) היא קבוצה פתוחה.
קיים תת-בסיס \(\MKclb\) של \(\sigma\), ולכל \(B\in\MKclb\), הפונקציה \(f\mid_{B}\) רציפה.
לכל \(n\) קבוצות סגורות \(\MKseq C,n\subseteq\MKbbx\) כך ש-\(\MKbbx=\bigcup_{i=1}^{n}C_{i}\), ולכל \(n\geq i\in\MKnatural\), הפונקציה \(f\mid_{C_{i}}\) רציפה.
מסקנה 4.4. הרכבה של פונקציות רציפות היא פונקציה רציפה.
מסקנה 4.5. תהא \(f:\MKbbx\rightarrow\MKbby\) פונקציה, ותהיינה \(\tau^{+}\) ו-\(\sigma^{-}\) טופולוגיות על \(\MKbbx\) ו-\(\MKbby\) בהתאמה. אם \(\tau^{+}\) עדינה יותר מ-\(\tau\) (\(\tau\subseteq\tau^{+}\)) ו-\(\sigma^{-}\) גסה יותר מ-\(\sigma\) (\(\sigma^{-}\subseteq\sigma\)), אז \(f\) רציפה גם כפונקציה בין המרחבים הטופולוגיים \(\left(\MKbbx,\tau^{+}\right)\) ו-\(\left(\MKbby,\sigma^{-}\right)\).
משפט 4.6. למת ההדבקה תהא \(f:\MKbbx\rightarrow\MKbby\) פונקציה; אם קיימות שתי קבוצות סגורות \(A,B\subseteq\MKbbx\) כך ש-\(\MKbbx=A\cup B\), ובנוסף \(f\mid_{A}\) ו-\(f\mid_{B}\) רציפות, אז \(f\) רציפה.
טענה 4.7. תהיינה \(X,Y\) קבוצות, ותהיינה \(f:X\rightarrow\MKbby\) ו-\(g:\MKbbx\rightarrow Y\) פונקציות.
הקבוצה \(\left\{ f^{-1}\left(U\right)\mid U\in\sigma\right\} \) היא תת-בסיס של \(X\), \(f\) רציפה תחת הטופולוגיה המושרית ממנו, וזוהי הטופולוגיה החלשה ביותר על \(X\) ש-\(f\) רציפה עבורה.
הקבוצה \(\left\{ U\subseteq Y\mid g^{-1}\left(U\right)\in\tau\right\} \) היא תת-בסיס של \(\MKbby\), \(g\) רציפה תחת הטופולוגיה המושרית ממנו, וזוהי הטופולוגיה החזקה ביותר על \(X\) ש-\(g\) רציפה עבורה.
טענה 4.8. תהא \(f:\MKbbx\rightarrow\MKbby\) פונקציה, ויהי \(\MKclb\) בסיס לטופולוגיה \(\tau\). אם \(f\) היא הומיאומורפיזם אז הקבוצה \(\MKclc:=\left\{ f\left(B\right)\mid B\in\MKclb\right\} \) היא בסיס לטופולוגיה \(\sigma\).
4.2 הומיאומורפיזמים
הגדרה 4.9. תהא \(f:\MKbbx\rightarrow\MKbby\) פונקציה.
\(f\) תיקרא העתקה פתוחה אם לכל קבוצה פתוחה \(U\subseteq\MKbbx\) גם \(f\left(U\right)\) היא קבוצה פתוחה.
\(f\) תיקרא העתקה סגורה אם לכל קבוצה סגורה \(C\subseteq\MKbbx\) גם \(f\left(C\right)\) היא קבוצה סגורה.
הגדרה 4.10. פונקציה \(f:\MKbbx\rightarrow\MKbby\) תיקרא הומיאומורפיזם בין \(\MKbbx\) ל-\(\MKbby\) אם מתקיימים התנאים הבאים:
\(f\) רציפה
\(f\) חח"ע ועל
\(f^{-1}\) רציפה
מסקנה 4.11. תהא \(f:\MKbbx\rightarrow\MKbby\) פונקציה רציפה והפיכה, התנאים הבאים שקולים:
\(f\) היא הומיאומורפיזם.
\(f\) היא העתקה פתוחה.
\(f\) היא העתקה סגורה.
5 מרחבי מכפלה
יהי \(\left\{ X_{\alpha}\right\} _{\alpha\in I}\) אוסף קבוצות לא ריקות, ונסמן:\[
\prod_{\alpha\in I}X_{\alpha}:=\left\{ \begin{array}{c|c}
f:I\rightarrow\bigcup_{\alpha\in I}X_{\alpha} & \forall\alpha\in I\ f\left(\alpha\right)\in X_{\alpha}\end{array}\right\}
\]
\(\clubsuit\)
אם נזכור שסדרה אין-סופית \(\left(a_{n}\right)_{n=1}^{\infty}\) היא בעצם פונקציה מ-\(\MKnatural\) לאיחוד כלשהו \(\bigcup_{n=1}^{\infty}X_{n}\) כך ש-\(a_{n}\in X_{n}\) לכל \(n\in\MKnatural\)3סדרה סופית \(\left(\MKseq a,n\right)\) היא פונקציה מ-\(\left\{ k\in\MKnatural:k\leq n\right\} \) לאיחוד כשלהו \(\bigcup_{k=1}^{n}X_{k}\) כך ש-\(a_{k}\in X_{k}\) לכל \(n\geq k\in\MKnatural\)., נבין שהסימון שלעיל הוא בעצם הכללה של המכפלה הקרטזית הרגילה.
\(\clubsuit\)
כן, אנחנו מניחים כאן את אקסיומת הבחירה כדי ש-\(\prod_{\alpha\in I}X_{\alpha}\) לא תהיה ריקה.
כמו כן, לכל \(\beta\in I\), נגדיר את הפונקציה \(\pi_{\beta}:\prod_{\alpha\in I}X_{\alpha}\rightarrow X_{\beta}\) ע"י \(\pi_{\beta}\left(f\right):=f\left(\beta\right)\) (לכל \(f\in\prod_{\alpha\in I}X_{\alpha}\)), ונקרא לה ההטלה על \(X_{\beta}\).
יהי \(\left\{ \tau_{\alpha}\right\} _{\alpha\in I}\) אוסף כך ש-\(\tau_{\alpha}\) היא טופולוגיה על \(X_{\alpha}\) לכל \(\alpha\in I\), ונסמן גם:\[\begin{align*}
\MKclb_{\MKbox} & :=\left\{ \begin{array}{c|c}
{\displaystyle \prod_{\alpha\in I}U_{\alpha}} & \forall\alpha\in I\ U_{\alpha}\in\tau_{\alpha}\end{array}\right\} \\
\MKclb_{\MKprod} & :=\left\{ \begin{array}{c|c}
{\displaystyle \prod_{\alpha\in I}U_{\alpha}\in\MKclb_{\MKbox}} & \text{היא קבוצה סופית}\ U_{\alpha}\neq X_{\alpha}\text{כך ש-}\ I\ \text{קבוצת האינדקסים ב-}\end{array}\right\}
\end{align*}\]
מסקנה 5.1. אם \(I\) סופית אז \(\MKclb_{\MKbox}=\MKclb_{\MKprod}\).
טענה 5.2. \(\MKclb_{\MKbox}\) ו-\(\MKclb_{\MKprod}\) הם בסיסים של \(\prod_{\alpha\in I}X_{\alpha}\).
טופולוגיית הקופסה היא הטופולוגיה הטבעית שהיינו רוצים להגדיר על מכפלה (נשים לב ש-\(\MKclb_{\MKbox}\) אינה טופולוגיה על \(\prod_{\alpha\in I}X_{\alpha}\), אלא רק בסיס).
\(\clubsuit\)
טופולוגיית המכפלה היא הטופולוגיה החלשה ביותר כך שההטלות תהיינה רציפות.
הסכמה:
כשנדבר על מכפלה של מרחבים טופולוגיים מבלי להזכיר את הטופולוגיה של המכפלה כוונתנו לטופולוגיית המכפלה.
משפט 5.4. תהא \(\left(\left(\MKbbx_{n},\rho_{n}\right)\right)_{n=1}^{\infty}\) סדרת מרחבים מטריים, ונסמן \({\displaystyle \MKbbx:=\prod_{n=1}^{\infty}\MKbbx_{n}}\). הפונקציה \({\displaystyle \rho:\MKbbx\times\MKbbx\rightarrow\MKreal}\) המוגדרת ע"י (לכל \(x,y\in\MKbbx\)):\[
\rho\left(x,y\right):=\sum_{n=1}^{\infty}\rho_{n}\left(x_{n},y_{n}\right)
\]היא מטריקה על \(\MKbbx\), והטופולוגיה המושרית על ידיה היא טופולוגיית המכפלה. בפרט, מרחב מכפלה של מרחבים מטריים הוא מרחב מטריזבילי.
6 אקסיומות ההפרדה
יהי \(\left(\MKbbx,\tau\right)\) מרחב טופולוגי.
6.1 רגולריות ונורמליות
הגדרה 6.1. תהיינה \(x,y\in\MKbbx\) ו-\(A,B\subseteq\MKbbx\).
נאמר ש-\(x\) ו-\(y\)ניתנות להפרדה זו מזו, אם קיימות שתי קבוצות פתוחות זרות \(U,V\subseteq\MKbbx\) כך ש-\(x\in U\) ו-\(y\in V\).
נאמר ש-\(x\) ו-\(A\)ניתנות להפרדה זו מזו, אם קיימות שתי קבוצות פתוחות זרות \(U,V\subseteq\MKbbx\) כך ש-\(x\in U\) ו-\(A\subseteq V\).
נאמר ש-\(A\) ו-\(B\)ניתנות להפרדה זו מזו, אם קיימות שתי קבוצות פתוחות זרות \(U,V\subseteq\MKbbx\) כך ש-\(A\subseteq U\) ו-\(B\subseteq V\).
הגדרה 6.2. מרחב טופולוגי ייקרא רגולרי אם כל נקודה ניתנת להפרדה מכל קבוצה סגורה שאינה שייכת אליה.
טענה 6.3. \(\left(\MKbbx,\tau\right)\) רגולרי אם"ם לכל \(x\in\MKbbx\), ולכל קבוצה פתוחה \(U\subseteq\MKbbx\) כך ש-\(x\in U\), קיימת קבוצה פתוחה \(V\subseteq\MKbbx\) כך ש-\(x\in V\subseteq\overline{V}\subseteq U\).
טענה 6.4. מכפלה של שני מרחבים רגולריים היא מרחב רגולרי.
הגדרה 6.5. מרחב טופולוגי ייקרא נורמלי אם כל שתי קבוצות סגורות ניתנות להפרדה זו מזו.
טענה 6.6. \(\left(\MKbbx,\tau\right)\) נורמלי אם"ם לכל קבוצה סגורה \(C\subseteq\MKbbx\), ולכל קבוצה פתוחה \(U\subseteq\MKbbx\) כך ש-\(C\subseteq U\), קיימת קבוצה פתוחה \(V\subseteq\MKbbx\) כך ש-\(C\subseteq V\subseteq\overline{V}\subseteq U\).
6.2 האקסיומות והשלכותיהן
הגדרה 6.7. אסיומות ההפרדה
נאמר ש-\(\left(\MKbbx,\tau\right)\) הוא מרחב \(T_{0}\), אם לכל שתי נקודות שונות במרחב, קיימת קבוצה פתוחה כך שבדיוק אחת משתי הנקודות שייכת אליה.
נאמר ש-\(\left(\MKbbx,\tau\right)\) הוא מרחב \(T_{1}\), אם לכל שתי נקודות שונות במרחב, לכל אחת מהן קיימת קבוצה פתוחה כך שאותה נקודה שייכת אליה והאחרת אינה כזו.
נאמר ש-\(\left(\MKbbx,\tau\right)\) הוא מרחב \(T_{2}\) או שהוא מרחב האוסדורף4על שם פליקס האוסדורף., אם כל שתי נקודות שונות ניתנות להפרדה.
נאמר ש-\(\left(\MKbbx,\tau\right)\) הוא מרחב \(T_{3}\), אם הוא מרחב \(T_{1}\) רגולרי.
נאמר ש-\(\left(\MKbbx,\tau\right)\) הוא מרחב \(T_{4}\), אם הוא מרחב \(T_{1}\) נורמלי.
מסקנה 6.8. כל מרחב מטריזבילי הוא מרחב \(T_{4}\).
מסקנה 6.9. \(\left(\MKbbx,\tau\right)\) הוא מרחב \(T_{1}\) אם"ם כל יחידון הוא קבוצה סגורה.
מסקנה 6.10. לכל \(4\geq i,j\in\MKnatural_{0}\) כך ש-\(i>j\), כל מרחב \(T_{i}\) הוא מרחב \(T_{j}\).
טענה 6.11. לכל \(3\geq i\in\MKnatural_{0}\), כל תת-מרחב של מרחב \(T_{i}\) גם הוא מרחב \(T_{i}\).
טענה 6.12. לכל \(3\geq i\in\MKnatural_{0}\), מכפלה של שני מרחבי \(T_{i}\) היא מרחב \(T_{i}\).
טענה 6.13. \(\left(\MKbbx,\tau\right)\) הוא מרחב האוסדורף אם"ם הקבוצה \(\left\{ \left(x,y\right)\in\MKbbx^{2}\mid x=y\right\} \) היא קבוצה סגורה ב-\(\MKbbx^{2}\).
משפט 6.14. הלמה של אוריסון5על שם פאבל סמואילוביץ אוריסון. אם \(\left(\MKbbx,\tau\right)\) הוא מרחב \(T_{4}\) אז לכל שתי קבוצות סגורות זרות ולא ריקות \(C,D\subseteq\MKbbx\) קיימת פונקציה רציפה \(f:\MKbbx\rightarrow\left[0,1\right]\) כך ש-\(f\left(C\right)=\left\{ 0\right\} \) ו-\(f\left(D\right)=\left\{ 1\right\} \).
6.3 דוגמאות לכך שאין שקילות בין אקסיומות ההפרדה
יש לכתוב סעיף זה.
7 מסננים
צריך לכתוב פרק זה.
8 קומפקטיות
יהי \(\left(\MKbbx,\tau\right)\) מרחב טופולוגי.
הגדרה 8.1. אוסף של קבוצות פתוחות \(\MKcls\subseteq\tau\), ייקרא כיסוי פתוח של קבוצה \(A\subseteq\MKbbx\) אם \(A\subseteq\cup\MKcls\). כמו כן, תת-קבוצה של כיסוי פתוח תיקרא תת-כיסוי שלו אם היא מהווה כיסוי פתוח בפני עצמה (עבור אותה קבוצה כמובן).
הגדרה 8.2. קבוצה \(K\subseteq\MKbbx\) תיקרא קומפקטית, אם לכל כיסוי פתוח של \(K\) יש תת-כיסוי סופי. כמו כן \(\left(\MKbbx,\tau\right)\) ייקרא מרחב קומפקטי אם \(\MKbbx\) היא קבוצה קומפקטית.
מסקנה 8.3. איחוד סופי של קבוצות קומפקטיות הוא קבוצה קומפקטית.
הגדרה 8.4. נאמר שאוסף \(\MKcls\subseteq\MKclp\left(\MKbbx\right)\) מקיים את תכונת החיתוך הסופי, אם לכל תת-אוסף סופי \(\MKcls'\subseteq\MKcls\) החיתוך \(\cap\MKcls'\) אינו ריק.
מסקנה 8.5. \(\left(\MKbbx,\tau\right)\) הוא מרחב קומפקטי אם"ם לכל אוסף \(\MKcls\subseteq\MKclp\left(\MKbbx\right)\) של קבוצות סגורות המקיים את תכונת החיתוך הסופי, החיתוך \(\cap\MKcls\) אינו ריק.
משפט 8.6. יהי \(\left(\MKbby,\sigma\right)\) מרחב קומפקטי, ותהא \(f:\MKbbx\rightarrow\MKbby\) פונקציה רציפה. לכל קבוצה קומפקטית \(K\subseteq\MKbbx\) גם \(f\left(K\right)\) היא קבוצה קומפקטית.
מסקנה 8.7. משפט ויירשטראס6על שם קארל ויירשטראס. אם \(\left(\MKbbx,\tau\right)\) קומפקטי אז כל פונקציה רציפה \(f:\MKbbx\rightarrow\MKreal\) מקבלת מקסימום ומינימום ובפרט חסומה.
טענה 8.8. לכל קבוצה קומפקטית \(K\subseteq\MKbbx\), כל קבוצה סגורה \(C\subseteq K\) גם היא קומפקטית.
משפט 8.9. במרחב האוסדורף, כל קבוצה קומפקטית היא קבוצה סגורה.
מסקנה 8.10. מרחב האוסדורף קומפקטי הוא נורמלי.
מסקנה 8.11. יהי \(\left(\MKbby,\sigma\right)\) מרחב האוסדורף, אם \(\left(\MKbbx,\tau\right)\) קומפקטי אז כל פונקציה רציפה חח"ע ועל \(f:\MKbbx\rightarrow\MKbby\) היא הומיאומורפיזם.
משפט 8.12. משפט טיכונוף7על שם אנדריי טיחונוב תהא \(\left\{ \left(X_{\alpha},\tau_{\alpha}\right)\right\} _{\alpha\in I}\) קבוצת מרחבים טופולוגיים, אם \(X_{\alpha}\) קומפקטי לכל \(\alpha\in I\) אז גם מרחב המכפלה \(\prod_{\alpha\in I}X_{\alpha}\) (עם טופולוגיית המכפלה) הוא מרחב קומפקטי.
8.1 קומפקטיפיקציה
הגדרה 8.13. \(\left(\MKbbx,\tau\right)\) ייקרא קומפקטי מקומית, אם לכל נקודה ב-\(\MKbbx\) יש סביבה קומפקטית.
סימון:
נסמן8\(\infty\) הוא איבר כלשהו שאינו שייך ל-\(\MKbbx\), ע"פ האקסיומות של תורת הקבוצות אכן קיימת קבוצה כזו (לדוגמה \(\left\{ \MKbbx\right\} \)).:\[\begin{align*}
\hat{\MKbbx} & :=\MKbbx\MKcupdot\left\{ \infty\right\} \\
\hat{\tau} & :=\tau\MKcupdot\left\{ \hat{\MKbbx}\setminus K\mid\text{היא קבוצה קומפקטית}\ K\subseteq\MKbbx\right\}
\end{align*}\]
מסקנה 8.14. \(\hat{\tau}\) היא טופולוגיה על \(\hat{\MKbbx}\) (כלומר \(\left(\hat{\MKbbx},\hat{\tau}\right)\) הוא מרחב טופולוגי), ומתקיים \(\hat{\MKbbx}=\overline{\MKbbx}\).
הגדרה 8.15. המרחב \(\left(\hat{\MKbbx},\hat{\tau}\right)\) ייקרא קומפקטיפיקציה חד-נקודתית של \(\left(\MKbbx,\tau\right)\).
משפט 8.16. אם \(\left(\MKbbx,\tau\right)\) קומפקטי אז \(\left\{ \infty\right\} \) היא קבוצה פתוחה ב-\(\left(\hat{\MKbbx},\hat{\tau}\right)\); ואם \(\left(\MKbbx,\tau\right)\) הוא מרחב האוסדורף קומפקטי מקומית, אז \(\left(\hat{\MKbbx},\hat{\tau}\right)\) הוא מרחב האוסדורף קומפקטי.
9 אקסיומות המנייה
יהי \(\left(\MKbbx,\tau\right)\) מרחב טופולוגי.
הגדרה 9.1. אוסף של קבוצות פתוחות \(\MKclb\subseteq\tau\) ייקרא בסיס מקומי לנקודה \(x\in\MKbbx\) אם לכל קבוצה פתוחה \(U\in\tau\) קיימת קבוצה \(B\in\MKclb\) כך ש-\(x\in B\subseteq U\).
הסכמה:
בקורס זה קבוצה \(A\) תיקרא בת-מנייה אם היא סופית או ש-\(\left|A\right|=\left|\MKnatural\right|\).
הגדרה 9.2. \(\:\)
נאמר ש-\(\left(\MKbbx,\tau\right)\) מקיים את אקסיומת המנייה הראשונה, אם לכל נקודה יש בסיס מקומי בן-מנייה.
נאמר ש-\(\left(\MKbbx,\tau\right)\) מקיים את אקסיומת המנייה השנייה, אם יש לטופולוגיה שלו בסיס בן-מנייה.
נאמר ש-\(\left(\MKbbx,\tau\right)\) הוא מרחב לינדלוף9על שם Ernst Leonard Lindelöf., אם לכל כיסוי פתוח של המרחב כולו יש תת-כיסוי בן-מנייה.
נאמר ש-\(\left(\MKbbx,\tau\right)\) הוא מרחב ספרבילי, אם יש בו קבוצה צפופה בת-מנייה.
מסקנה 9.3. אם \(\left(\MKbbx,\tau\right)\) מקיים את אקסיומת המנייה השנייה אז הוא ספרבילי, מרחב לינדלוף ומקיים את אקסיומת המנייה הראשונה.
טענה 9.4. מרחב רגולרי המקיים את אקסיומת המנייה השנייה הוא מרחב נורמלי, ולכן גם \(T_{4}\).
משפט 9.5. משפט המטריזביליות של אריסון מרחב \(T_{3}\) המקיים את אקסיומת המנייה השנייה הוא מרחב מטריזבילי.
הוכחה. צריך לכתוב הוכחה. בהוכחה משתמשים בעובדה שהמרחב \(\left[0,1\right]^{\MKnatural}\) עם טפולוגיית המכפלה הוא מרחב מטריזבילי (נובע ממשפט 5.4).
10 קשירות
יהי \(\left(\MKbbx,\tau\right)\) מרחב טופולוגי.
10.1 קשירות רגילה
הגדרה 10.1. קבוצה \(A\subseteq\MKbbx\) תיקרא קשירה אם אין ל-\(A\) כיסוי פתוח שכל איבריו זרים זה לזה. כמו כן, נאמר ש-\(\left(\MKbbx,\tau\right)\) הוא מרחב קשיר אם \(\MKbbx\) קשירה.
מסקנה 10.2. קבוצה \(A\subseteq\MKbbx\) היא קשירה אם"ם לא קיימות שתי קבוצות פתוחות זרות \(U,V\subseteq\MKbbx\) כך ש-\(A=U\MKcupdot V\).
מסקנה 10.3. הסגור של קבוצה קשירה גם הוא קשיר.
מסקנה 10.4. קבוצה \(A\subseteq\MKreal\) היא קשירה אם"ם \(A\) היא מקטע.
טענה 10.5. יהי גם \(\left(\MKbby,\sigma\right)\) מרחב טופולוגי, ותהא \(f:\MKbbx\rightarrow\MKbby\) פונקציה. אם \(f\) רציפה אז לכל קבוצה קשירה \(A\subseteq\MKbbx\) גם \(f\left(A\right)\) קשירה.
טענה 10.6. מכפלה של מרחבים היא מרחב קשיר (בטופולוגיית המכפלה) אם"ם כל אחד מהמרחבים במכפלה קשיר בפני עצמו.
למה 10.7. \(\left(\MKbbx,\tau\right)\) הוא מרחב קשיר אם"ם לכל מרחב דיסקרטי \(\left(\MKbby,\sigma\right)\), כל פונקציה רציפה \(f:\MKbbx\rightarrow\MKbby\) היא פונקציה קבועה.
מסקנה 10.8. למת הכוכב\(\:\) יהי \(S\) אוסף קבוצות קשירות ב-\(\MKbbx\), אם קיימת \(A\in S\) כך ש-\(A\cap B\neq\emptyset\) לכל \(B\in S\), אז \(\cup S\) קשירה.
הגדרה 10.9. קבוצה \(A\subseteq\MKbbx\) תיקרא רכיב קשירות ב-\(\MKbbx\), אם היא קבוצה קשירה מרבית10לכל קבוצה קשירה \(B\subseteq\MKbbx\) כך ש-\(A\subseteq B\) מתקיים \(A=B\).. ע"פ star_lemma לכל \(x\in\MKbbx\) קיים רכיב קשירות יחיד \(A\subseteq\MKbbx\) כך ש-\(x\in A\)11זהו האיחוד של כל הקבוצות הקשירות ש-\(x\) שייך אליהן., רכיב קשירות זה ייקרא רכיב הקשירות של \(x\).
10.2 קשירות מסילתית
הגדרה 10.10. מסילה ב-\(\MKbbx\) היא פונקציה רציפה \(\gamma:I\rightarrow\MKbbx\), כאשר \(I\) הוא קטע סגור ב-\(\MKreal\) עם הטופולוגיה הסטנדרטית.
הגדרה 10.11. קבוצה \(A\subseteq\MKbbx\) תיקרא קשירה מסילתית אם לכל \(x,y\in A\) קיימת מסילה \(\gamma:\left[a,b\right]\rightarrow A\) כך ש-\(\gamma\left(a\right)=x\) ו-\(\gamma\left(b\right)=y\). כמו כן, נאמר ש-\(\left(\MKbbx,\tau\right)\) הוא מרחב קשיר מסילתית אם \(\MKbbx\) קשירה מסילתית.
מסקנה 10.12. אם קבוצה \(A\subseteq\MKbbx\) קשירה מסילתית אז היא קשירה, בפרט, אם \(\left(\MKbbx,\tau\right)\) קשיר מסילתית אז הוא קשיר.
\(\clubsuit\)
הכיוון ההפוך אינו נכון, לדוגמה הקבוצה \(\left\{ \left(0,0\right)\right\} \cup\left\{ \left(x,\sin\left(\frac{1}{x}\right)\right)\mid x\in\left(0,1\right)\right\} \) היא קבוצה קשירה ב-\(\MKreal^{2}\) שאינה קשירה מסילתית.
מסקנה 10.13. יהי \(\left(\MKbby,\sigma\right)\) מרחב טופולוגי, ותהא \(f:\MKbbx\rightarrow\MKbby\). אם \(f\) רציפה אז לכל קבוצה קשירה מסילתית \(A\subseteq\MKbbx\) גם \(f\left(A\right)\) קשירה מסילתית.
מסקנה 10.14. מכפלה של מרחבים קשירים מסילתית גם היא קשירה מסילתית.
10.3 קשירות מקומית וקשירות מסילתית מקומית
הגדרה 10.15. \(\:\)
נאמר ש-\(\left(\MKbbx,\tau\right)\)קשיר מקומית בנקודה \(x\in\MKbbx\), אם לכל סביבה \(W\subseteq\MKbbx\) של \(x\), קיימת קבוצה פתוחה וקשירה \(U\subseteq\MKbbx\) כך ש-\(x\in U\subseteq W\).
נאמר ש-\(\left(\MKbbx,\tau\right)\)קשיר מקומית אם הוא קשיר מקומית בכל נקודה.
נאמר ש-\(\left(\MKbbx,\tau\right)\)קשיר מסילתית מקומית בנקודה \(x\in\MKbbx\), אם לכל סביבה \(W\subseteq\MKbbx\) של \(x\), קיימת קבוצה פתוחה וקשירה מסילתית \(U\subseteq\MKbbx\) כך ש-\(x\in U\subseteq W\).
נאמר ש-\(\left(\MKbbx,\tau\right)\)קשיר מסילתית מקומית אם הוא קשיר מסילתית מקומית בכל נקודה.
טענה 10.16. אם \(\left(\MKbbx,\tau\right)\) קשיר וקשיר מסילתית מקומית אז הוא קשיר מסילתית.
רוצים לפרגן לי על בניית האתר וכתיבת הסיכומים?אתם מוזמנים לתת טיפ.להורדה כ-PDF:
#scrollButton {
position: fixed;
bottom: 0.7em;
right: 0.7em;
z-index: 1;
height: 3.5em;
width: 3.5em;
cursor: pointer;
background-color: #084149;
opacity: 80%;
}
#scrollImage {
position: fixed;
bottom: 0.7em;
right: 0.7em;
height: 3.5em;
width: 3.5em;
opacity: 80%;
}
function scrollToTop() {
window.scrollTo({ top: 0, behavior: 'smooth' });
}
דפי האתרדף הביתאודותצור קשרמפת אתרענפים מתמטייםאנליזהאלגברהענפים נוספיםמאמריםאקסיומת השלמותסיכומי הרצאות במתמטיקה
{"prefetch":[{"source":"document","where":{"and":[{"href_matches":"\/*"},{"not":{"href_matches":["\/wp-*.php","\/wp-admin\/*","\/wp-content\/uploads\/*","\/wp-content\/*","\/wp-content\/plugins\/*","\/wp-content\/themes\/twentytwentyfive\/*","\/*\\?(.+)"]}},{"not":{"selector_matches":"a[rel~=\"nofollow\"]"}},{"not":{"selector_matches":".no-prefetch, .no-prefetch a"}}]},"eagerness":"conservative"}]}
דף הביתתרומהשיעורים פרטייםמפת אתראודותREADMEהתנצלותו של המתמטיקאיהקדשהאנליזהאלגברהענפים נוספיםמאמריםיסודותצור קשרעודלאתר הקודםsrayaa.comעִבְלִיקְסתנ"ך ברויאר מוקלט
( function() {
var skipLinkTarget = document.querySelector( 'main' ),
sibling,
skipLinkTargetID,
skipLink;
// Early exit if a skip-link target can't be located.
if ( ! skipLinkTarget ) {
return;
}
/*
* Get the site wrapper.
* The skip-link will be injected in the beginning of it.
*/
sibling = document.querySelector( '.wp-site-blocks' );
// Early exit if the root element was not found.
if ( ! sibling ) {
return;
}
// Get the skip-link target's ID, and generate one if it doesn't exist.
skipLinkTargetID = skipLinkTarget.id;
if ( ! skipLinkTargetID ) {
skipLinkTargetID = 'wp--skip-link--target';
skipLinkTarget.id = skipLinkTargetID;
}
// Create the skip link.
skipLink = document.createElement( 'a' );
skipLink.classList.add( 'skip-link', 'screen-reader-text' );
skipLink.id = 'wp-skip-link';
skipLink.href = '#' + skipLinkTargetID;
skipLink.innerText = 'לדלג לתוכן';
// Inject the skip link.
sibling.parentElement.insertBefore( skipLink, sibling );
}() );